Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
نویسندگان
چکیده
منابع مشابه
Denotation by Sense and Reference
The notion of reference as entailment in the common ground provides a uniied framework for the treatment of denotation by names, deenite descriptions, and pronouns, including anaphors. Within this framework, semantic and pragmatic considerations are combined, giving two kinds of proof of denotation, by sense and by reference, for references to individuals which are and aren't already in the com...
متن کاملthe relationship between learners critical thinking ability and their performance in the reading sections of the tofel and ielts test
the study reflected in this thesis aims at finding out relationships between critical thinking (ct), and the reading sections of tofel and ielts tests. the study tries to find any relationships between the ct ability of students and their performance on reading tests of tofel and academic ielts. however, no research has ever been conducted to investigate the relationship between ct and the read...
15 صفحه اولProof-theoretic type interpretation: a glimpse to proof-theoretic semantics
A foundation of model-theoretic semantics (MTS) for natural language (NL), ever since Montague’s seminal work, is the typing of meanings, most often expressed in some variant of the simply-typed λ -calculus. Types are interpreted in what is known as Henkin models, whereby basic types τ are interpreted as denoting arbitrary sets Dτ , except for the type t (of sentential meanings), denoting the t...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
Proof-Theoretic Semantics (SEP Entry)
3 Some versions of proof-theoretic semantics 6 3.1 The semantics of implications: Admissibility, derivability, rules . . . . . 6 3.1.1 Lorenzen’s operative logic . . . . . . . . . . . . . . . . . . . . . 6 3.1.2 Von Kutschera’s Gentzen semantics . . . . . . . . . . . . . . . . 7 3.1.3 Schroeder-Heister’s extension of natural deduction . . . . . . . . 7 3.2 The Semantics of derivations as based ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2014
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exu028